int main(void){
		short int v=-5201;
		unsigned short uv=(unsigned short) v;
		printf("v=%d, uv=%u\n",v,uv);
		return 0;
}
